From: Keir Fraser <keir@xensource.com>
Date: Thu, 18 Oct 2007 08:59:20 +0000 (+0100)
Subject: x86: Fix writable-pagetable cmpxchg path to properly adjust PTE (i.e.,
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14847^2~26
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:///%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:/?a=commitdiff_plain;h=4144e156c03c3cdd79a38710e4d12137995bf17a;p=xen.git

x86: Fix writable-pagetable cmpxchg path to properly adjust PTE (i.e.,
set _PAGE_GLOBAL for x86/64 guest user mappings).
Signed-off-by: Keir Fraser <keir@xensource.com>
---

diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c
index 46ed6b1226..d25fba7674 100644
--- a/xen/arch/x86/mm.c
+++ b/xen/arch/x86/mm.c
@@ -3403,7 +3403,7 @@ static int ptwr_emulated_update(
         ol1e = l1e_from_intpte(old);
 
         okay = paging_cmpxchg_guest_entry(v, &l1e_get_intpte(*pl1e),
-                                          &t, val, _mfn(mfn));
+                                          &t, l1e_get_intpte(nl1e), _mfn(mfn));
         okay = (okay && t == old);
 
         if ( !okay )